41. Engineering psychology and cognitive ergonomics :
پدیدآورنده: Don Harris (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Aeronautics-- Computer programs, Congresses.,Engineering design-- Psychological aspects, Congresses.,Human engineering, Congresses.,Human-computer interaction, Congresses.,Psychology, Industrial, Congresses.,User-centered system design, Congresses.,Aeronautics-- Computer programs.,Engineering design-- Psychological aspects.,Human engineering.,Human-computer interaction.,Psychology, Industrial.,User-centered system design.
رده :
TA166
42. Engineering trustworthy software systems :
پدیدآورنده: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
43. Extreme man-made and natural hazards in dynamics of structures /
پدیدآورنده: edityed by Adnan Ibrahimbegovic and Ivica Kozar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Hazard mitigation, Congresses.,Natural disaster warning systems, Congresses.,Structural analysis (Engineering), Congresses.,Structural dynamics, Congresses.,Hazard mitigation.,Hazard mitigation.,Natural disaster warning systems.,Natural disaster warning systems.,Physique.,Structural analysis (Engineering),Structural analysis (Engineering),Structural dynamics.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Structural.
رده :
TA654
.
N35
2006eb
44. FLAC and numerical modeling in geomechanics
پدیدآورنده: edited by Richard Brummer ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering geology-- Computer programs, Congresses.,Engineering geology-- Mathematical models, Congresses.,Rock mechanics-- Computer programs, Congresses.,Rock mechanics-- Mathematical models, Congresses.,Soil mechanics-- Computer programs, Congresses.,Soil mechanics-- Mathematical models, Congresses.
45. FLAC and numerical modeling in geomechanics :
پدیدآورنده: edited by Richard Brummer ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering geology-- Computer programs, Congresses,Engineering geology-- Mathematical models, Congresses,Rock mechanics-- Computer programs, Congresses,Rock mechanics-- Mathematical models, Congresses,Soil mechanics-- Computer programs, Congresses,Soil mechanics-- Mathematical models, Congresses
رده :
TA705
.
I516
2003
46. FLAC and numerical modeling in geomechanics :
پدیدآورنده: edited by Richard Brummer ... [et al.].
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Engineering geology,Rock mechanics,Soil mechanics,Engineering geology,Rock mechanics,Soil mechanics,Congresses.,Congresses.,Congresses.,Congresses.,Congresses.,Congresses.,Computer programs,Computer programs,Computer programs,Mathematical models,Mathematical models,Mathematical models
رده :
TA705
47. FLAC and numerical modeling in geomechanics
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering geology -- Computer programs -- Congresses,Rock mechanics -- Computer programs -- Congresses,Soil mechanics -- Computer programs -- Congresses,Engineering geology -- Mathematical models - Congresses,Rock mechanics -- Mathematical models -- Congresses
رده :
TA705
.
I516
2001
48. FLAC and numerical modeling in geomechanics: proceedings of the International FLAC Symposium on Numerical Modeling in Geomechanics, Minneapolis, Minnesota, USA, 1-3 September 1999
پدیدآورنده :
موضوع : Congresses ، Engineering geology-- Computer programs,Congresses ، Rock mechanics-- Computer programs,Congresses ، Soil mechanics-- Computer programs,Congresses ، Engineering geology-- Mathematical models,Congresses ، Rock mechanics-- Mathematical models,Congresses ، Soil mechanics-- Mathematical models
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
49. FLAC and numerical modeling in geomechanics: proceedings of the third International FLAC Symposium, 21-24 October 2003, Sudbury, Ontario, Canada
پدیدآورنده: edited by Richard Brummer ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Computer programs - Congresses ، Engineering geology,Computer programs - Congresses ، Rock mechanics,Congresses ، Soil mechanics - Computer programs,Mathematical models - Congresses ، Engineering geology,Mathematical models - Congresses ، Rock mechanics,Mathematical models - Congresses ، Soil mechanics
رده :
TA
705
.
I525
2003
50. Formal Methods for Industrial Critical Systems
پدیدآورنده: \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
51. Formal aspects of component software :
پدیدآورنده: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
52. Formal methods for industrial critical systems :
پدیدآورنده: Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
53. Formal methods for industrial critical systems :
پدیدآورنده: Darren Cofer, Alessandro Fantechi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
9
.
F67
I594
2008eb
54. Formal methods for industrial critical systems :
پدیدآورنده: Gwen Salaün, Bernhard Schätz (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2011
55. Formal methods for industrial critical systems
پدیدآورنده: Mariëlle Stoelinga, Ralf Pinger (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I594
2012eb
56. Formal methods, foundations and applications :
پدیدآورنده: Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
57. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
58. Formal modeling and analysis of timed systems :
پدیدآورنده: Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
59. Formal techniques for distributed objects, components, and systems :
پدیدآورنده: Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
60. Frontiers of combining systems :
پدیدآورنده: Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
